منابع مشابه
Justification logic enjoys the strong finite model property
We observe that justification logic enjoys a form the strong finite model property (sometimes also called small model property). Thus we obtain decidability proofs for justification logic that do not rely on Post’s theorem.
متن کاملOn degrees of justification
This paper gives an explication of our intuitive notion of strength of justification in a controversial debate. It defines a thesis’ degree of justification within the bipolar argumentation framework of the theory of dialectical structures as the ratio of coherently adoptable positions according to which that thesis is true over all coherently adoptable positions. Broadening this definition, th...
متن کاملOn Justification of Gibbs Distribution
The paper develop a new approach to the justification of Gibbs canonical distribution for Hamiltonian systems with finite number of degrees of freedom. It uses the condition of nonintegrability of the ensemble of weak interacting Hamiltonian systems. 1. Gibbs distribution. We consider the probability distribution in the phase space of Hamiltonian system with the density ρ = ce− H kτ , (1) where...
متن کاملJustification Based on Program Transformation
Justification is to give evidence, in terms of a proof, for the truth value of the result generated by query evaluation of a logic program. In an earlier work we presented algorithms for justifying logic programs. It was based on using tabling for evaluating the program and post-processing the memo tables created during evaluation. Justification built in this fashion does not compromise the per...
متن کاملOn epistemic logic with justification
The true belief components of Plato’s tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato’s definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justifi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Australasian Journal of Philosophy
سال: 1998
ISSN: 0004-8402,1471-6828
DOI: 10.1080/00048409812348731